step(al,bs,tm(s,[ctxm(xi_,u,ip,ip_al_4,ip_al_4),ctxm(xi_,sp,ip,ip_bs,ip_bs)],pri(lst,[pri(lst,[pri(lst,[ctxm(xi_,dot,id_c,iid_c,iid_c),pri(pk,[ctxm(xi_,dot,kM_c,kM_c,kM_c)]),ctxm(xi_,dot,n_c,in_c,cn_c)]),pri(sig,[pri(lst,[ctxm(xi_,dot,id_c,iid_c,iid_c),pri(pk,[ctxm(xi_,dot,kM_c,kM_c,kM_c)]),ctxm(xi_,dot,n_c,in_c,cn_c)]),ctxm(xi_,ca,kM,kM_ca,kM_ca)])]),ctxm(xi_,dot,n_a,ss(xi_,i_n_a),ss(xi_,c_n_a))]))).
